abstract data type java example